Term Gallery logo

Значения термина sistema de redução на португальском

русский
система правил переписывания
английский
rewriting systems

Em matemática um sistema de redução é um sistema onde termos podem ser reescritos usando uma lista finita, ou infinita, de regras de reescrita Exemplos de sistemas de redução incluem sistemas de reescrita de cadeias de caractere, sistemas de reescrita de termos, cálculo lambda sob conversão lambda e sistemas de redução combinatória.

Ещё
        система правил переписывания
        Отсутствуют примеры синонимов
        Использование термина sistema de redução на португальском
        1
        Os veículos estão equipados com um dispositivo que ativa um sistema de redução de emissões poluentes no momento dos controlos, sendo depois desativado.
        Jornal de Negócios
        2
        Mais que isso, há sistemas de redução de emissões que o tornam no mais ambiental dos navios.
        Jornal de Negócios